perm filename CMSSI9.360[360,GF]2 blob
sn#830341 filedate 1986-12-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔&"p_L'#λ_Mπ∀ GβQp∂∧@UXβ⊗`eP↓@ 5P↓@ EH↓@@EH↓@@E@↓@`E8α`E8↓A 50α↓ 50↓A@E(α↓@E α↓`E α↓`E_ααE_↓B E⊂αα@E⊂↓B`Eλ TαE
∪`@hα∪`0pαS@@xα∪ Aα∪ Aα∪Aλα∪Aλα∩`A⊂α∩`1 α⊃(D⊂
πcapββj↓λ(∧J ∧AJ ¬A)p εA p εA p πip εA p ε@i` εA ` ε↓ ` ¬↓)aλ'∧ Q⊂&A↓8&A↓0(&A↓@ &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓P %A↓@(%A↓⊂8%DI!⊂%βhT !F#r∂CA¬0ε∃↓u_β↓@EλαB`∃αS`Txα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@TXα∩`D`α∪P`↓∪ `8αSB¬εTA∧("⊃βBλ∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P('A↓` 'A↓` 'A↓p '↓α '↓α '↓α '↓α '↓α_&Aα &Aα &Aα &Aα_&↓α &↓α &↓↓p &↓↓` &↓↓` %A↓` %A↓P %A↓0(%A↓⊂0%DI!λ%βHT "FCqp∂↓B5 Tα5α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dp ∪B$h ∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩bDP
∩BD("⊃C⊃p∂π@a⊂(∧J↓⊂(↓
'A p 'A p 'A ` '↓ ` '↓ a&D Q&A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "QλqX⊂Hβpx∧∃Ae λT``8αT@PX↓∀Uα∪`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPααa∀Pααa∀PααA∀Pαβ`DPαβ`DPαβ`DPαC@DXαβ DXαβ D`αβDhαα`DhβαTpλT↓e⊂∧⊃(D@∞HCapβ↓↓` (↓↓` (↓↓` (↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '¬Ia0&EIP π↓ P π↓ P π↓ @ π↓ @ π↓ @ π↓ @ π↓ @ π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ π↓ π↓λT $Baqp∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("∩Ba@∂GB⊂ -A0 -A0 -↓ -↓ -↓⊂ ,A⊂ ,A⊂ ,↓ ,↓ +A
p +A
p +A
` +↓
` %@!⊂ %@``(%βI@P'↓HT %GD1p∂↓@@pαT@hαT@`αT@XαT@PαS`@Pα∪`@Hα∪`@8αS`@0αS`@(αS@@(αS@@ αS@@_αS@@⊂βS@@λ∧∪ @λα Dh∧`DhβADhβ↓ T`β↓`D`αBT`αα@D`αα@D`αα`DXαβDXαβTXαβ DXαβ TXαβ@DPαβ`DPα∧D("∪α!8∂π@` (↓
(↓
'A p 'A p 'A ` '↓ ` '↓ ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 1λ%∧)!λ"Q R ∀GC`0β∧ eβ∧ eβ∧uα ⊃↓ Eα ⊂x↓@ Dxα@⊂x↓ Dxα@⊂p↓@ Dxα@ `↓@@Dxα@ `↓@@Dxα@ Xα@Dpα` X↓@@Dpα` Pα@Dpα` P↓@`Dpα` Hα`Dpα`0@↓ADhα↓08α`Dhα↓00α↓Dhα↓00α↓Dhα↓0(α↓ D`α↓ 0(α↓D`α↓ 0 α↓ D`α↓@ ↓A@D`α↓@ _α↓@D`α↓@ _↓A`DXα↓` ⊂α↓@DXα↓` ⊂↓A`DXα↓` λα↓`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓⊂⊂¬A
@a 'A _∧A p ↓a⊂ 'A _∧A p ↓↓↓ 'A ∧↓ ` α`p '↓@_βA ` α`p '↓@ β↓ ` α↓` &AP αA P β`P &A` α↓ P β↓@ &↓p ↓A @ ∧`0 &↓↓_↓A @ ∧`0 &↓↓ ↓↓ 0 ∧A⊂ %A↓ _A 0 ¬`⊂ %A↓ _A 0 ¬α ε↓I ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ ` ε@i` ε↓ ` ¬A ` ¬↓ ` ∧↓IQλ&D Ph&A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A p εA p εA p εA p εA p ε@i` εA ` ε↓ ` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓ &↓↓ %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
)↓
(A
⊂ (A
⊂ (A
(↓
(↓
'A p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα %Aα %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓! &A↓ &A↓⊂ &A↓⊂ &A↓ &A↓_&Ap '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@` '@` _'@`⊂_'Aip0(↓(T +JF⊃p∂@pββ@DPαβ phα∩@@hβC DPαβ p`α∩`@X∧βDXαα`0λαα`DXαα@@⊂↓B`DXαα@0_↓B@DXαα @_↓B@DXαα 0 ↓B DXαα@ ↓B DXαα0(α↓`DXα↓`@(α↓`DXα↓`00α↓`4Xα↓@@0α↓@DXα↓@08α↓@4Xα↓ @8α↓ DXα↓ 0@α↓ 4Xα↓@@α↓D`↓A0Hα↓4`↓A0Hα`D`↓@`0X↓@`4`↓@`0X↓@@D`↓@@0`↓@@4`↓@@0`↓@@4`↓@@ h↓@ 4`↓@ 0h↓@ 4`↓@ p↓@ $`ββ@d`αC`T`αC`T("⊗∧∩⊂∂π@p(λ↓* πA* (εA*0 ε↓*0(¬↓*@(∧↓*P βA*P(αA*` αA
`(↓A
p ↓↓
pH,↓k0,A0+Aj`H*A ⊂ *↓ 0 *↓@ )A` )↓p((A↓⊂ (↓↓ ('A↓@ '↓↓P(&A↓p &↓!p(%A"⊂(%↓" ("Q⊃h∩πC`αD`TPαD`DXαD DXαDD`αC@D`αC DhαβThαB@Tpαα TpαA`Txα↓`DxαA Eα↓Eα`Eλα Eλ∧∀@e⊂β∀`E⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀D("⊗CAx∂π@a((¬*↓(/A+p /↓P .↓+0(-A ,A +A*`(+↓
P *↓
0()↓*⊂((A
'A `(&A)@(&↓ 10%¬I!0"Q⊃⊂
Db0@β∪a4pεS@00α∪ Hα⊗E@α⊗E8α∀↓4pεS`(α∩`P8α∩@@@α∩@@@α∩@@@α∩@P(β∩B∧X∧@ D`β`D("_BA8∂π@` (↓
(↓
'A p 'A p 'A ` '↓@('↓⊂H'βi`0αA)P(∧↓ P ∧A P ∧A P ∧A @ ¬↓ @ ¬↓ @ ¬↓ @ ¬↓ @ ∧A 0 ¬↓ 0 ∧A 0(βA)00α↓I0x%↓ @%↓0("Q1λ
Db0@β∀↓$xε∪@@0↓∪ @@SDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@PHR`@0α∪↓Th¬∪@t("→αqX∂πB .↓@ .↓@ -A0 -A0 -A )↓ 0 (α ⊂ '∧ `(αAIP ∧↓ @ ∧A 0 ¬↓ 0 ¬↓ 0 ∧A ¬↓ ¬↓ ¬↓ ¬↓ ∧A ∧A (βA)0(α↓i0XA @HA `(↓AλT 2DBQ_ Be¬∪aDpαADhα↓`4`αα4Xαα@4XλRb∧PλR@DPα∩@DPα∩@DXαα ∀XαA D`εS!$xβ⊃(F0λE#ap¬AJ0@)α*⊂ (↓
_'A p 'A p '↓ `%β `'↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT 3F#⊃h B`P(α∀b¬⊂λT @ α∀@0α∪`@8α∪`@8α∪`@8α∪`@0α∪`08α∪`@(α∪`@ αSaDp¬S@ ⊂αS@$h↓S!Tpπ∪At` ∩`PHαR`@Xα∩@@`α∩@@`α∩@PPα∩`P8αS↓thεSa∧("~αA8∂π@` (↓
(↓
'A p 'A p 'A ` '↓@0'↓ H'∧ `0αA)P0βA P(∧↓ P ∧A P ∧A @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A ∧A ∧AλT 4BAQx∂A@Eα∀Eα⊃a α∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("~B@x∀πb ,A⊂ ,Aλp@εA
p +A
p +↓
` +↓
` *A
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )↓
)↓ 0⊂α↓ 0H%α)@0"Q
1(πC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@@@αS@@8α∪@@0α∪@@(α∪ @(α∪ @_αS @⊂α∪ @λα∪@λβ∪↓4`ε∪`λαS@ αR`@(αR`@0α∩`@0αR`@8α∩`@8αR@@@αR@@HαQ(F`¬CCapβ↓
(↓
(↓ p 'A p 'A p '↓ ` '↓ ` '↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT 6H$A_ A@ β↓`dpαA⊂ ∧SBλε∪@`(∧↓ Thβ↓``8α∪ P@αBDhαα @Hα∪ @Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DPαα @Hα∩@@Hαα D("≠BA8 D`@ α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
q Db0Hβ∀!$xεS@P(αS @@αS@Pα∪0Xα∩`@Xα∩`@Xα∩@@`α∩@@`α∩@@`α∩@@Xα∩@@Xα∩@@Pα∩`@@α∩`P(αS↓Th¬S`d("≤αa8∞∧`` α↓* B*x(↓@@0'A p('A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓ '↓↓ '↓↓ '↓↓ '↓↓⊂ &A↓ &A↓⊂ &A p(&A@@0&Ci@ ↓α @ ↓A)@ &↓ 0 %A 0 %A 0 %↓ "Q∞⊃ πα0@α@`E∧@Dx¬ DpαAthα↓`T`αα DXαB DXαα@DXαα DPαα@DPαα@DPαα@DPαα@DPαα DPαα DPαA`TXαAtX¬@ D`∧@ Dhβ`E0α∃@E(α∃ E(α∃ E(α∃E α⊃(G⊂πDB1_α↓@_'↓ ('↓⊂0'α P8&AIP(&A @(&↓ @ &↓ @ %A 0 %A 0 %A %↓λT 9DBA_ B↓¬ε∪aTpα↓`$hα∪ Dhα∪ Th∧SA$x¬∀!¬(α∃ E(α∩@ Hα∩@@0α∩ATX¬S t("≥↓Q⊂F @ '↓ ` '↓ ` &A h%β) h&A @ &↓ @ &↓ 0 %A 0 %A 0 %↓ %↓ ↓@I H%α)00"Q∞Q ∧b0_αα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα DPααTPα↓@tPλRA0λα∪` α⊃(G0 Fα1_↓↓ %↓↓ %↓↓⊂ %↓↓⊂ %Ap %Ap_%A` %A`_%AP %A@ %A@ &`0 &`0 &`0_&` _&` _&`⊂_&`⊂_&A)P("Q∞qh⊃∧b0αα@@α∩@@8αBDPα↓` λ↓↓`DPα↓@0λ↓A@DPα↓@ ⊂↓A@4Pα↓ 0⊂↓A DPα↓ 0⊂↓A 4Pα↓0_↓ADX↓A0_↓A4X↓@`0 ↓@`DX↓@`0 ↓@`4X↓@` (↓@@DX↓@@0(↓@@4X↓@@ 0↓@@4X↓@@ 0↓@ 4X↓@ 8↓@ 4X↓@ 8↓@$X↓@ ⊂@↓ 4XαBTXαα T("≡αq8 D`P ¬↓ p(∧↓
βA
⊂ αA
⊂ α↓
↓↓
H)Aj@(*↓
@ )AJ _@j⊂_↓↓
_α↓ p_αA `_βA P βA @ ∧A 0 ¬↓(T <Fβ↓` A @Pα∪`@Pα∪`P@α∀@@α∀@8α∀@8↓T@0α∀@(α∀ @ α∀ @_α∀ @_α∀ @⊂α∀ @⊂↓T@0⊂↓T@0λ↓T@0λ↓T@0λ↓∀@ λ↓∀`E_↓T`5⊂↓T Eλ↓T4xα∩`tPβR@T("≡BA( D`Px'Cipp,↓
p +↓
P(*↓*@ )A
(A
'A ` &A @ %D !%∧λT εβQp∂↓B∃λTα∃α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("$∩_∂πB@(/↓KP8.↓⊂_.` _-A -↓0 -`@ ,A@ ,↓` ,↓` +Ap +↓↓ +↓↓(*A↓ *↓↓0 *↓↓0 )A↓@()↓↓` )↓↓` (A↓p (↓α((↓α⊂ 'Aα '↓α0 '↓α0(&AαP &πIAp%H "λ"Q!p∩λβpxβUAE πT``(β∀ PPαTP`αS`Ppα∪`Aα∪@Aλα∪ A⊂α∪ A_α∪A α∪A α∩`A(α∩`@ εADXα↓↓P_α∩@@ εADPα↓↓P α∩@A(α∩@A α∩@A α∩@A α∩@A_α∩@A⊂α∩@Qλα∩`Aα∩`@xα∪@hα∪PPαS `0β∪B¬ε∀@t("c⊃P∂πB⊂ -↓+ 0,@`⊂_,` _,`⊂ +A⊂ +@` +↓ +`@_*A@_*@`P *↓P *`` )A` )@`p )↓p )a (A↓ (↓↓⊂ (↓↓⊂('A↓ ('A↓0 '↓↓@ '↓↓@ &A↓P &@a` &↓↓` &ap %A↓p(%@b("QBλ⊃GC`0
∀β%
⊃a 8
∀"E
⊃a@λ
∩C$P
⊃(@(∞HCapβ¬J↓0(¬J π↓
π↓ p π↓ p π↓ p π↓ p π↓ p π↓ ` π↓ ` π↓ ` π↓ ` π↓ ` π↓ P π↓ P π↓ P π↓ P π↓ @ π↓ @ π↓ @ π↓ @ π↓ @ π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ π↓ π↓λT βλ$Ap∂↓C%
∀β%αT UλαT@U_αT`U αUU(αU U0αU@e8αU`E0α∃ U αT`U⊂αT UαTDxαS@ThαSβ∀XRC$("↓cR(∂G``0∧A)`Hβα)PXααI@(α`0 ↓A)0(β@0_αA 0 β@`⊂_β↓ ∧`⊂⊂βA
`0+A
`(+↓*` +↓
` +↓
` *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
"Q↓↓P⊂πC`pα⊗E@α⊗E@α∃!¬⊂π∀"∧xβ@@λβ∪@P α`Thα↓ @(αS@0α↓@DXαA@@0α∩`@8α↓@DXα↓`@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@0α∩@P(α↓@DXα↓ @(αR`P α↓T`β@@λβ∪"∀xεT!¬_α∀`E_α∀@E⊂α⊃(@H∂ Capπ↓ ,↓ 0(∧↓`0%A@p β↓I 8β↓`0&↓ ` β↓)@(β↓P(&↓ ` αA @(β↓P &↓` αA @ β↓P &↓` αA @ β↓P &↓` α↓ 0(αAP %A` αA 0(αA@ &↓P α↓ @ α↓@ &↓ 0 ↓A)@(↓A (&A@⊂P'βip`(B
0 )A
0 )↓
"Q↓"⊃πcqλ∧⊗↓U0λ∃ `0β∀``PαT@PhαT@@xα∀ Aα∀AλαTA⊂α∀A⊂α∪`A⊂α∪`A⊂α∪`A⊂α∪`Aλα∪`Aλα∪`Aα∀1α∀0xα∀@p↓T@hα∀ 0`α∀ 0`↓T @P↓T@0Hα∀@0H↓T@0@↓T@0@↓T@08↓Ra 8¬RA00¬RA00¬Q(C
εβah¬A*0H(C
(↓A)p β↓ p βA ` ∧↓ `_∧A P ∧A P ∧A @ ¬↓ @ ¬↓ @ ¬↓ @ ¬i0 ¬↓ 0 ¬↓ 0 ¬↓ 0 ¬↓ 0_¬↓ ¬↓ ¬↓ ¬i ∧A ∧A ∧↓ ∧i0 β↓ 0(↓A)@X&B)`0"Qε⊃
π#PxU`5 β∀↓$x¬∪`@⊂α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ DXπ∩adPπQ(C⊂F#Qhε↓J@P)β*⊂ αA*⊂⊂∧↓*_∧A p_¬↓ p⊂¬A)p⊂¬A pλε↓@ .↓0 -A ,A +A
`_*↓
0 )j⊂_'A ` &@i@_%DI!⊂%∧HT →E#↓p∞B`e_¬∀!UαA DxααE↓α EB@EXα⊗`5Pα⊗ EHα∃`U_∧∀@u⊂∧∃`E@α⊗ 5Hα⊗ EHα⊗ E@α∩@⊂hα∩@ Xα∩@0Hα∩@P0αRaTh¬∪`d("
αQ8∞π↓p(,A+λA
pλA
`⊂A
P_A
P⊂↓↓
@_↓↓
0_↓↓
↓↓
_↓A
⊂_α↓
α↓ p α↓ p_αA ` αA P β↓ @ β↓ @_βA 1 %E 1 *A
P *A
P *A
@ *↓λT ~E#↓h∞↓aeπT↓uα∀Dxα∪`Dxα∪`Dxα∪@@⊂αSATpπ∪@` α∪@@8α∪ P8α∪ @@α⊗ EHα⊗ EHα⊗E@α∩`⊂`α∩@0Pα∩@0Hα∩@P(αRaT`¬∪@d("
B18∂π!P(*B
0P)↓ @⊂(A
'A ` '↓ P &A0(&↓ @&↓⊂P&↓`@(%A@p %A! %A! %A↓⊂ %A↓⊂ %↓↓ %↓↓ %↓↓ %↓↓ _%↓↓⊂ %↓↓⊂ %@a %A` %A @ &αiPH'A(T ≠Dc!`∞"$X ∩b%H↓V58↓U@5(↓UE_α∀`5⊂α∀ Eλ↓TDxα∪`Dpα∪@Dhα∪ D`α∪D`α∩`DXα∩`DPα∩@D("∞αA@∂π! 0)αJ⊂`(↓ @ 'Ap 'Ap '↓↓ '↓↓ '↓↓ '↓p '↓p '↓` 'A0((α*⊂8'BiP αA)@ βA 0 ∧A 0 ∧A ¬↓ ¬↓ ¬↓ ∧A ∧A ∧↓ βA) (αA)0h&αI`0"Qπ⊃(πCPXβ∃↓¬⊂¬T P α∀@8↓S`@@α∪`@@α∪@@Hα∪@@Hα∪ @Pα∪ @Pα∪ @Pα∪ @HαS @Hα∪ @Hα∪ @@αS @8β∪@@ ∧∪Atx∧@EαA5@α⊗58α∃@E0↓UDX↓A DPε∩a$hβ⊃(B ε$2λπk_,j`0*αj p(A ⊂_↓↓
⊂_↓@`@λ(`0_'@`@_'@`@_'@`@_'@`@_'@`0_'A _'A ⊂_(α
P(BJ0@*α
@_A
0_↓@j0_↓@j0_↓@j0_↓@j0_↓@J _↓@i0λβ` %`P_A (↓Ai0h&αip0(@j⊂_"Q∧ax⊃λβpxαUa¬0¬∃ @_α∃ 0 α∃0(α∃0(α∀`@(α∀`00α∀`0(α∀`0(α∀@@ α∀@@⊂αT@@λαB@∃⊂∧α`E⊂βC5_αCEλββ 5βCDx∧B@Dhα@@@P↓SP_αB4`α↓P8α∩`@0αA DXα↓@P α∩@@@α@@DPαα!∀Pαα!∧PαB dXαA! 0↓∩c4`εa4pβB d("∂aq8∂π@P8&β 0p%A` %@!⊂ *A
P *A
@ )A* ((A
'A p_'↓ `_&A P_&@iP_&@Hp(A 0 %↓ "Qπ`xλGBPXα∃E α∃D8αB 5_↓T`5⊂α∀@5⊂↓T 5λ↓T4xα∪@Dhα∪DXα∩`DPα∩@DPαα ∀PαA DXπ∪↓4hβQ(A∧αb1_α↓ ` '↓ ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "Qα⊃λεπα0hα∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∩` α∩a∀P∧Sd("ε"A8∂πA00)B* X(AP (↓` 'Ap 'Ap 'Ap 'A` 'A` '↓` '↓00'↓0('↓00'↓P(&Ap &A↓ &A↓ &A↓ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓ %Ap %A08%↓08%↓ 0"Qβ!x⊃∧b0@βA`Tx¬@a$pε@!Dp↓AA⊂ α∪ Hβ↓`5@αBE@αBE@λUαDxS!d`β↓ DXααDPαα DPααdPαα`HR@P(¬↓ 4Xε@!TXεa$`∧αd("εd"( Da⊂0¬↓*⊂PαBIph↓C `(αA ⊂(α↓ P ∧αp_&↓↓ 0∧↓ @_¬AA %A↓1⊂%A↓1λ%↓↓Aλ%↓↓@ %↓↓@ %↓↓0(%↓↓0(%↓↓ 8%A↓@∧@)0(αA ⊂0α@i@h↓C)PXαBIp0¬↓HT ∞εβ⊃`E 5pα↔ Eh↓U `λ↓TaEλεTP β∪`@0βS@@0↓@ Dpα↓ @λα∪ @(α@Dhα↓ 0_α∪@(↓AD`α↓0(α∪@_α↓ D`α@@(α∪@⊂↓A@D`α 00α∪ p(α∪ ` αSATpε∪ 0λβ∪DXα∩`4P↓Q(Ah∃
cap EKQ0.¬k0 ↓A0 ↓A ↓A⊂ α↓⊂ α↓ αA_β↓
p αA
` β↓
` β↓
P βD
@ ∧∧
@ βD
0 ∧↓
0 ∧↓
∧A
⊃λ(D*↓⊂(a0 'A↓0 '↓↓0 '↓↓0 &A↓@ &↓↓P &↓↓Q⊂%A↓Q⊂%@aa⊂"QβbX_λβpxβUCe ⊂∀``0
T PHβ∀PXαS`P`α∪`@hα∪@@hαS @pαS @pαS@xα∪1α∩`@xαR`@x R`@x R@A ∩@Aα∩@@xαR@@xαR@@xα∩@@xα∩@@xα∩@@pαR@PhαR`@hα∩`PXαS@XαSPHβ∪ `0SD∀x⊂∀@t("πcb ⊃Hβ _,A`0 +∧
Aλ)A@P0(A! ((↓! 8'A!08'A↓0_↓↓ ` ¬A &A↓0 ↓A P ¬@`P &↓↓0_β↓ @ ¬↓` %A↓ βA 0 ¬a %A↓⊂_∧↓ ∧A↓ %↓↓ ∧A ∧a %↓p_¬↓ βa0 %↓P ¬A α@a0 %↓@_¬A ↓@a@ %A⊂ ¬A 0 @a0 &↓A0 &↓! (&A@`0&D)@_C 0_α↓i0_&(T ⊂BAqp∂↓@Eα∀Eα∀E↓S`Dxα∪`Dx↓S`4pα∪@Dp↓S@4p↓S Dh↓S 4h↓S 4h↓⊃`Pλα∩`DPα∩@D("∂↓0p∂¬ p (↓
(↓λp(α@ip_'@i` 'i`_'i`_&A P_&@iP_&↓ @ &↓ @_%A 0 %A 0 %↓ "Q∧2λ∩Ica B ∃h↓α%h↓α%`↓α%`↓α%X↓α%X↓α%X↓α%P↓α%P↓α%H↓α%H↓α%@↓α%@↓α$h∂∪#e0↓α%0↓α%(↓α%(↓α%(↓α% ↓α% ↓α% ↓α$X∂∩ce⊂↓α%λ↓α%λ↓α%↓α%↓α%↓α$x↓α$x↓α$p↓α$p↓α$h↓α$h↓α$h↓α$hB ∀(" #B ⊃H ` λ@)p0π@I`@ε@IP A↓@⊂&↓0_¬@I@_αa0⊂%A@ ∧@I0 α↓↓⊂%↓@ ∧I α↓p⊂%↓@ β@I α↓`⊂%↓0 βI ↓AP⊂%↓ βI ↓↓P⊂%BP⊂%A`P⊂&@`p⊂β↓
`⊂β↓JP⊂βα
@⊂β↓ _)@@` ↓A
0⊂β↓0 )@` α↓
⊂⊂βA@ (A α↓
⊂βA@ '@A α↓ `⊂∧A@ &@A ↓A @⊂¬A0 &A@_↓↓ 0⊂εB ⊂πAI λλAλT ∪AA`H∂@D`α∪D`α∪ $h↓∪$X↓∩`$P↓⊃(B@ ¬%Rλπ@k_+@j`_*@j@_)@j (A
⊂_(↓
_'A p_'↓ ` &A P &@i@ &↓ @ %A 0 %A 0 %A 0 %@i %↓ %↓ 0_%@i0_%A 0 %A @_&↓ P_&A `_'@j_"Q¬⊃λ $⊂H↓U5(↓U 50↓U@50α∃`58↓U`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ 5 α∃E_α∀`E⊂α∀@Eλα∀ 5α∪`Dx↓S@4h↓S4X↓R@4("
B1P H! ⊂)@j0_)@i@⊂α@`Pλ&`@⊂α↓ 00↓@ (&B⊂('αJ0(↓I`P&βI (↓` (%`@⊂α↓ ⊂α@@P⊂(j_(j⊂"Q¬1h⊃πc!⊂V`%X↓⊗`%X↓⊗`%P↓⊗@%P↓⊗@%P↓⊗ %H↓⊗ %H↓∩cDX∞⊗%@↓⊗%8↓∃`%8↓∃`%8↓∃@%0↓∃@%0↓∃ %(↓∃@∀("pH∧@`0 &A @ &↓ P⊂&@I@⊂&I0⊂%HT ↔↓!⊂_↓@ DXα∩@DPα⊃(BxFEBλ,⊂⊂0L⊂/@Kp⊂/K`⊂.@K@⊂.K0⊂-@K ⊂-K⊂⊂,@K⊂,Jp⊂+@J`⊂*@JP⊂*J@⊂)@J0⊂)J ⊂(@J⊂⊂(J⊂'@I`⊂'IP⊂&@I@⊂&I0⊂%@I ⊂%(T ≥α↓A_ ADpα∪@Dpα⊃a@λα∩`DPα∩@D("∞a `D`` (↓
(↓λp`↓A P &↓ @ &@IP⊂&I@⊂%@I ⊂"QπQx⊃Bb_∞∪#D8∧#DX∞⊃(DGcapπ↓j`X*βJ 0β↓
⊂(∧↓*(¬↓ p βB)` βαiP(αβ)P α↓ 00&↓P αA)@ α↓`(%A@ ∧↓ 0 α↓↓ %A@ βA) α↓↓ %↓@ ∧↓ α↓↓ %↓@ βA α↓p %↓@(αA αA@ %↓ PP%A`@%Ap(&↓ @(&AA('∧
`)αλT -Dα"`⊂B u_βT`u⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀Eα∀5↓S`Dxα∪`Dx↓S@Dpα∪@Dpα∪@4hα∪ Dhα∪ 4h↓SD`α∪D`↓R`DXα∩`DXα∩`4Pα∩@tPβR@t("↔"x⊗λ!⊂8)Aj08+j`_*A
P *A
P_*↓
@ *↓
@ *j0 )A
0 )A
0_)↓
)↓
_)j⊂ (A
⊂ (@j (↓
(↓
_'A p 'A p_'@i` '↓ ` 'i 8%↓i 8"Q0πB#` ↓∪ $h↓∪$X↓∩`$Pα∩@DPα∩@D("∧A↓⊂βπ@ %A @ &@i`_'↓ p_"Qα0P↓C`0α∪`Dpα∪ D`α∩`DP↓Q(A λε a`a _%@`p &`P &↓0 &B `0'AλT
Cc⊂8∂@8↓R@0@↓R@@8↓R`00↓R`@_α∩a4`∧∪@D("¬B⊃H↓ε`⊃%D !"QαpX∞↓C`_β∩a∀Pα↓4P↓A 4P↓A4P∧Sd(!@?␈␈x␈@αε?␈␈x{␈␈␈x}↓ 4p↓S 4`↓R`4Pα⊃(Bεβ@Qλ¬J⊂(&B) P%↓I _"Qa↓C`8α∀dx∧∪@@⊂α∪ 0(α∩`@8↓R@0P↓Q(ExαC`1xA %↓ "Q∂Px↓C`_α↓Dhα↓D`α↓D`↓A 4Xα↓DX↓A 4P↓A 4("∨Aq@απ @_α@i@8↓@i0h%@`00%`P "Q∂phcpλα↓DXα`DPα↓DPα↓D("αcb⊂∂πA08αAj0H↓B* P↓αJ⊂ ∧↓
∧↓
_∧@ip ∧↓ p ∧↓ p ∧↓ p ∧↓ ` ∧↓ h↓B) h↓B) h↓B)` ∧↓ P ∧↓ P ∧↓ P ∧↓ P ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ ∧↓ ∧↓λT ε¬c1x∂D`E(α@`E_β@`E⊂∧`Eλα∀E↓S`Dxα∪`Dxα∪@DPπ`DPπ`DPπ`Dpαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα D("β#↓`∂πA0(↓A
08↓A
@↓A
⊂ ∧↓
∧A
_∧A p ∧A p ∧A p ∧A p ∧A ` ∧A p↓A p↓A p↓A ` ∧A P ∧A P ∧A P ∧A P ∧A @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A ∧A ∧AλT πλdqx∂G`E(β↓@P_α∀a(β`E⊂∧Ap_α∀ @Hα∀@Hα∀0P↓S`@Hα∪`@Hα∪`@Hα∪`@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪ @HααDhαα @@α∪ @HααDhαα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩@@HααDPαα @@α⊃(@x∩
βap¬A@`(↓A
0@αA@0 )α @8↓A
⊂ ∧Ap (↓↓⊂ ∧↓
_¬a 'A↓⊂ ∧↓ p ∧A↓ 'A↓⊂ ∧↓ p ∧A↓ '↓↓⊂ ∧↓ hαα 0 %β @H↓A hαα 0 '↓↓⊂ ∧↓ P ∧A↓ &A↓⊂ ∧↓ P ∧A↓ &A↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ ∧A↓ %↓↓⊂ ∧↓λT ⊃βbPH∂@@(α∪@(α∪@(α∪@(α∪ 8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓⊃(Bh¬C@ XαI P%αHT .βc0H∂↓ 8↓∪ 8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GXF hEI10%¬HT >F⊂ε@%TX⊗RET(wD
⊗ 2[NFH3~,W⊂⊂⊂iU_)R=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_;|α`∀∩
t→8@OX≠@OX≠␈␈␈x⎇@_␈␈␈xz⊂⎇@↓Hα≡hαCx{$`εm∧¬⊂O0↓ `e⊂
>>`_∞↓!⊂y↓(@=@Axα↑hα←h{↓$⊂¬h%0¬C/0βλ Xp_%}`8∩↓LP ↓0n=Aαλα|εαtλ{α$@ε2H¬x/0¬λ Xp_∃>`X
@↓→8Xα@Z=AAHα~ ¬∪8{β#⊂∧4∩@
5O0π h0⎇∃}`x∩@↓VλzαPq=BX⎇P8β`P{∧!@α_>pπG∨0 ¬`@≤8∪[≡a_@↓β@pα8@⎇BA8απ∞∧y0{¬"p∧∞≤ v?0¬`@≤8∪u≡a8⊃↓Axβ@α8p⎇C↓ ↓ip∧␈`{ε"`βyV@πOO0
λ Xp_∂>>aX∩↓LP ↓x(=CA8απ∞β{8{π%ππ⊂λ¬/0∂ x␈} ⊂(>ax∩↓LP αλ⊂=DX⎇P8¬α⊂{λ!pαM7⊂λ:?0⊃¬`@≤8∃h}b_∪↓[ ⊂α⊂&⎇DA8απ∞βG0{ $`εm∧λ]O0∪λ``<¬∞=>b8ε@Iλ0α_[⎇E↓⊂↓LR∧=⊂{
" β→$ ε←0∃¬`@≤8∩&≡bX∩↓LP α p⎇E@h↓∩⊗∧R@{!pα↑h
z/0↔β HX∩P}bx@↓β@pα()=F↓8απ∞β
0{"p∧∞≤ε)←0→¬`@≤8d↑c_@↓β@p↓Hq⎇FA8απ∞β#@{
"p∧∞≤εS?0≠¬`@≤8
<≡c8@↓β@p↓X-⎇G↓8απ∞β9`{∞"p∧∞≤π↓←0≥β HX∩l}cXε@Iλ0α(f=G@x↓&[H∧!{∂$@ε2H >∨0∨¬@8a|∞r>cx|_x↓hD=H↓xα↑h∧`⊂{⊂#p¬?~ ∧?0!π`P|j &↑d_∞@↓(λHλ¬⎇HBλα|8H∃`{⊃#@∧x:?0#ε@H5\↓ε≡d8∂@↓/0@⊂.⎇Iαλαt∩X,⊂{∩!Pα%v g␈0%¬@8cF ↓a≡dX⊂↓7λa_g⎇IAHα≡hE {∪%π↔Y0↓∪∨0'λ XPJ`α`↑dx⊃↓B(s@0≠⎇J↓hαPKHk0{∀$ ε <p↓b?0)π@PS←βi↑e_
↓∩⊂`@∞⎇JAxαg@8↓π{∃$¬S←`α⊗←0+π`P}4@∧M↑e8⊗↓xp→HY⎇K↓xα←M⊂↓)`{⊗#p¬?~ αb∨0-πPε(¬]≡eXε@L8
@α0G⎇KA8απ∞¬=x{↔!Pα1c0 ↑∂0/¬`@≤8∀
>exε@Iλ0α@)=Lh↓∩⊗∧uλ{_"`βyV@αw∨01ε@?→`¬␈≡f_
tx`2⎇LA@α∂f8↓I`{→"@βS` β ␈03β@(β∀εP↑f8@↓β@phC⎇M↓@α∂f8↓↑`{~!0↓{ pβJ␈05β 0⎇`π$≡fX@↓H;@pn⎇M@X⎇P8↓t0{≠$PεCxpβq?07ε@?→`λα≡fx@↓β@p↓.⎇N↓@α∂f8α
@{≤#∧∨Lp∧!←09∧(O↓λ]↑g_ dh←↓λU⎇NAλ↓>βα≡{≥#∧∨Lp∧C←0;¬ 8J!` ≤↑g8∂@↓3`β@↓⊂b⎇O↓(↓rH8α6{≡"Pβe⊂p∧u?0=¬8∩z
∧≡gX@↓β@pα`π=OBp∧∞≤¬AX{∨"p∧∞≤
∨0?¬`@≤8∀!≡gx@↓β@pα@N} ⊗→⊂=xow{⎇x